Rel, bicategory of relations, allegory
left and right euclidean;
extensional, well-founded relations.
(causal order)
Let be a spacetime (a Lorentzian manifold equipped with time orientation).
Consider the relation on the set of subsets of spacetime which says a subset is not prior to a subset , denoted , if does not intersect the causal past of , or equivalently that does not intersect the causal future of :
If and we say that the two subsets are spacelike separated and write
(e.g. Epstein-Glaser 73, p. 5 (273))
Last revised on August 2, 2018 at 07:04:49. See the history of this page for a list of all contributions to it.